#include <stdio.h>
int main() {
    double t;
    int n;
    scanf("%lf %d", &t, &n);
    double per_person = t / n;
    int total_cups = 2 * n;
    printf("%.3lf\n", per_person);
    printf("%d\n", total_cups);
    return 0;
}
